121. Knowledge in action
المؤلف: / Raymond Reiter
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
Q387
.
R48
2001
122. Knowledge in action
المؤلف: / Raymond Reiter
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
Q387
.
R48
2001
123. Knowledge in action
المؤلف: / Raymond Reiter
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
Q387
.
R48
2001
124. Learning language in logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Natural language processing (Computer science) ; Logic, Symbolic and mathematical ;
125. Learning language in logic
المؤلف: / James Cussens, Saeso Dezeroski, (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Natural language processing (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
9
,.
L63
,
L42
,
2000
126. Learning language in logic
المؤلف: James Cussens, Saso Dzeroski, )eds.(
المکتبة: (طهران)
موضوع: ، Computer logic,، Natural language processing )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1925
127. Linear logic in computer science
المؤلف: edited by Thomas Ehrhard ... ]et al.[
المکتبة: (طهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
128. Logic Colloquium' 96 :
المؤلف: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
129. Logic Programming and Nonmonotonic Reasoning :
المؤلف: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
130. Logic : a brief course
المؤلف: Mundici, Daniele
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
131. Logic: a brief course
المؤلف: Mundici, Daniele
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
132. Logic : a brief course
المؤلف: Mundici, Daniele, 6491-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
133. Logic : a foundation for computer science
المؤلف: Sperschneider, V.
المکتبة: (طهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S64
134. Logic : a foundation for computer science
المؤلف: Sperschneider, V.
المکتبة: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S6787
1991
135. Logic and Algebraic Methods
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and Mathematical. ; Computer Science. ;
136. Logic and Grammar :
المؤلف: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
P98
.
E358
2011
137. Logic and Grammar :
المؤلف: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
138. Logic and algebra of specification
المؤلف: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
139. Logic and automata
المؤلف: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
رده :
QA
,
267
,.
L624
,
2008
